Extractions in Repps With Bastwick